C. A. R. Hoare (auth.): потърсете в сайта Z-Library

Набиране на средства 15 септември 2024 – 1 октомври 2024 Относно набирането на средства

Свободен достъп до знания и култура.

Набиране на средства 15 септември 2024 – 1 октомври 2024

Z-Library е една от най-големите онлайн библиотеки в света, която съдържа над 17,000,000 книги и 84,837,000 статии. Ние се стремим да направим литературата достъпна за всеки. Днес (15 септември 2024) започнахме допълнително набиране на средства за поддръжка и развитие на проекта.

Също НЕОГРАНИЧЕНО изтегляния (за 31 дни след деня на дарението) са достъпни за ALL сътрудници, които ще дарят по време на периода за набиране на средства до 1 октомври 2024.

Относно набирането на средстваПрочетете още

Направи дарение

Книги (38)
Най-популярни
Списък
- Списък
- Таблица

1

Biotechnology and Genetics in Fisheries and Aquaculture, Second Edition

Biotechnology and Genetics in Fisheries and Aquaculture, Second Edition

Wiley-Blackwell

Andy Beaumont, Pierre Boudry, Kathrin Hoare(auth.)

Година:

2010

Език:

english

Файл:

PDF, 26.04 MB

0 / 0

english, 2010

2

Advanced Lectures on Software Engineering: LASER Summer School 2007/2008

Advanced Lectures on Software Engineering: LASER Summer School 2007/2008

Springer-Verlag Berlin Heidelberg

Tony Hoare (auth.), Peter Müller (eds.)

Година:

2010

Език:

english

Файл:

PDF, 2.44 MB

0 / 0

english, 2010

3

Exploring University Mathematics. Lectures Given at Bedford College, London, Volume 3

Exploring University Mathematics. Lectures Given at Bedford College, London, Volume 3

Mary Bradburn, G. T. Kneebone, M. R. Hoare and N. J. Hardiman (Auth.)

Година:

1969

Език:

english

Файл:

PDF, 5.64 MB

0 / 0

english, 1969

4

VDM '90 VDM and Z — Formal Methods in Software Development: Third International Symposium of VDM Europe Kiel, FRG, April 17–21, 1990 Proceedings

VDM '90 VDM and Z — Formal Methods in Software Development: Third International Symposium of VDM Europe Kiel, FRG, April 17–21, 1990 Proceedings

Springer-Verlag Berlin Heidelberg

Ole-Johan Dahl (auth.), D. Bjørner, C. A. R. Hoare, H. Langmaack (eds.)

Година:

1990

Език:

english

Файл:

DJVU, 6.60 MB

0 / 0

english, 1990

5

Metals in Biochemistry

Metals in Biochemistry

Springer Netherlands

P. M. Harrison, R. J. Hoare (auth.)

Година:

1980

Език:

english

Файл:

PDF, 4.76 MB

0 / 3.0

english, 1980

6

Downstream Processing

Downstream Processing

Springer-Verlag Berlin Heidelberg

D. J. Bell, M. Hoare, P. Dunnill (auth.)

Година:

1983

Език:

english

Файл:

PDF, 3.08 MB

0 / 0

english, 1983

7

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

Springer Netherlands

Ralph-Johan Back (auth.), Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare (eds.)

Година:

2005

Език:

english

Файл:

PDF, 6.11 MB

0 / 0

english, 2005

8

Euro-Par 2003 Parallel Processing: 9th International Euro-Par Conference Klagenfurt, Austria, August 26-29, 2003 Proceedings

Euro-Par 2003 Parallel Processing: 9th International Euro-Par Conference Klagenfurt, Austria, August 26-29, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Harald Kosch, László Böszörményi, Hermann Hellwagner (eds.)

Година:

2003

Език:

english

Файл:

PDF, 19.01 MB

0 / 0

english, 2003

9

Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

Springer-Verlag Berlin Heidelberg

Tony Hoare (auth.), Manfred Broy, Alexandre V. Zamulin (eds.)

Година:

2003

Език:

english

Файл:

PDF, 7.03 MB

0 / 0

english, 2003

10

Advanced Lectures on Software Engineering: LASER Summer School 2007/2008

Advanced Lectures on Software Engineering: LASER Summer School 2007/2008

Springer-Verlag Berlin Heidelberg

Tony Hoare (auth.), Peter Müller (eds.)

Година:

2010

Език:

english

Файл:

PDF, 3.12 MB

0 / 0

english, 2010

11

Studies in the Atmospheric Sciences

Studies in the Atmospheric Sciences

Springer-Verlag New York

L. Mark Berliner, Douglas A. Nychka, Timothy J. Hoar (auth.), L. Mark Berliner, Douglas Nychka, Timothy Hoar (eds.)

Година:

2000

Език:

english

Файл:

PDF, 5.77 MB

0 / 0

english, 2000

12

Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

Springer-Verlag Berlin Heidelberg

Tony Hoare (auth.), Manfred Broy, Alexandre V. Zamulin (eds.)

Година:

2003

Език:

english

Файл:

PDF, 5.85 MB

0 / 0

english, 2003

13

Advanced Lectures on Software Engineering: LASER Summer School 2007/2008

Advanced Lectures on Software Engineering: LASER Summer School 2007/2008

Springer-Verlag Berlin Heidelberg

Tony Hoare (auth.), Peter Müller (eds.)

Година:

2010

Език:

english

Файл:

PDF, 2.47 MB

0 / 0

english, 2010

14

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)

Година:

1999

Език:

english

Файл:

PDF, 14.06 MB

0 / 0

english, 1999

15

Application and Theory of Petri Nets: 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings

Application and Theory of Petri Nets: 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Tony Hoare (auth.), Serge Haddad, Lucia Pomello (eds.)

Година:

2012

Език:

english

Файл:

PDF, 9.94 MB

0 / 5.0

english, 2012

16

Advanced Lectures on Software Engineering: LASER Summer School 2007/2008

Advanced Lectures on Software Engineering: LASER Summer School 2007/2008

Springer-Verlag Berlin Heidelberg

Tony Hoare (auth.), Peter Müller (eds.)

Година:

2010

Език:

english

Файл:

PDF, 2.55 MB

0 / 0

english, 2010

17

Higher Education, Social Class and Social Mobility: The Degree Generation

Higher Education, Social Class and Social Mobility: The Degree Generation

Palgrave Macmillan UK

Ann-Marie Bathmaker, Nicola Ingram, Jessie Abrahams, Anthony Hoare, Richard Waller, Harriet Bradley (auth.)

Година:

2016

Език:

english

Файл:

PDF, 1.95 MB

0 / 0

english, 2016

18

Correct System Design: Recent Insights and Advances

Correct System Design: Recent Insights and Advances

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)

Година:

1999

Език:

english

Файл:

PDF, 5.79 MB

0 / 0

english, 1999

19

Integrated Formal Methods: Second International Conference, IFM 2000 Dagstuhl Castle, Germany, November 1–3,2000 Proceedings

Integrated Formal Methods: Second International Conference, IFM 2000 Dagstuhl Castle, Germany, November 1–3,2000 Proceedings

Springer-Verlag Berlin Heidelberg

Tony Hoare (auth.), Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (eds.)

Година:

2000

Език:

english

Файл:

PDF, 3.20 MB

0 / 0

english, 2000

20

ECOOP’ 99 — Object-Oriented Programming: 13th European Conference Lisbon, Portugal, June 14–18, 1999 Proceedings

ECOOP’ 99 — Object-Oriented Programming: 13th European Conference Lisbon, Portugal, June 14–18, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare, He Jifeng (auth.), Rachid Guerraoui (eds.)

Година:

1999

Език:

english

Файл:

PDF, 4.47 MB

0 / 0

english, 1999

21

Language Hierarchies and Interfaces: International Summer School

Language Hierarchies and Interfaces: International Summer School

Springer-Verlag Berlin Heidelberg

E. W. Dijkstra (auth.), Prof. Dr. Dr. h.c. Dr. Friedrich L. Bauer, E. W. Dijkstra, A. Ershov, M. Griffiths, C. A. R. Hoare, W. A. Wulf, Prof. Dr. Klaus Samelson (eds.)

Година:

1976

Език:

english

Файл:

PDF, 17.21 MB

0 / 0

english, 1976

22

Application and Theory of Petri Nets: 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings

Application and Theory of Petri Nets: 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Tony Hoare (auth.), Serge Haddad, Lucia Pomello (eds.)

Година:

2012

Език:

english

Файл:

PDF, 9.09 MB

0 / 0

english, 2012

23

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)

Година:

1999

Език:

english

Файл:

PDF, 10.75 MB

0 / 0

english, 1999

24

Language Hierarchies and Interfaces: International Summer School

Language Hierarchies and Interfaces: International Summer School

Springer-Verlag Berlin Heidelberg

E. W. Dijkstra (auth.), Prof. Dr. Dr. h.c. Dr. Friedrich L. Bauer, E. W. Dijkstra, A. Ershov, M. Griffiths, C. A. R. Hoare, W. A. Wulf, Prof. Dr. Klaus Samelson (eds.)

Година:

1976

Език:

english

Файл:

PDF, 9.08 MB

0 / 0

english, 1976

25

International Symposium on Theoretical Programming

International Symposium on Theoretical Programming

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Andrei Ershov, Valery A. Nepomniaschy (eds.)

Година:

1974

Език:

english

Файл:

PDF, 9.22 MB

0 / 0

english, 1974

26

FME'96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18–22, 1996 Proceedings

FME'96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18–22, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Marie-Claude Gaudel, James Woodcock (eds.)

Година:

1996

Език:

english

Файл:

DJVU, 6.04 MB

0 / 0

english, 1996

27

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Springer-Verlag Berlin Heidelberg

Tony Hoare, Jay Misra (auth.), Bertrand Meyer, Jim Woodcock (eds.)

Година:

2008

Език:

english

Файл:

PDF, 7.65 MB

0 / 0

english, 2008

28

International Symposium on Theoretical Programming

International Symposium on Theoretical Programming

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Andrei Ershov, Valery A. Nepomniaschy (eds.)

Година:

1974

Език:

english

Файл:

DJVU, 3.01 MB

0 / 0

english, 1974

29

Correct System Design: Recent Insights and Advances

Correct System Design: Recent Insights and Advances

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)

Година:

1999

Език:

english

Файл:

PDF, 6.13 MB

0 / 0

english, 1999

30

Downstream Processing

Downstream Processing

Springer-Verlag Berlin Heidelberg

D. J. Bell, P. Dunnill, K. Esser, E. Flaschel, M. Hoare, J. Holló, M.-R. Kula, Ch. Lang-Hinrichs, L. Nyeste, M. Pécs, B. Sevella, Ch. Wandrey (auth.)

Година:

1983

Език:

english

Файл:

PDF, 5.35 MB

0 / 0

english, 1983

31

Foundations of Software Technology and Theoretical Computer Science: Fifth Conference, New Delhi, India December 16–18, 1985 Proceedings

Foundations of Software Technology and Theoretical Computer Science: Fifth Conference, New Delhi, India December 16–18, 1985 Proceedings

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), S. N. Maheshwari (eds.)

Година:

1985

Език:

english

Файл:

DJVU, 4.36 MB

0 / 0

english, 1985

32

VDM '90 VDM and Z — Formal Methods in Software Development: Third International Symposium of VDM Europe Kiel, FRG, April 17–21, 1990 Proceedings

VDM '90 VDM and Z — Formal Methods in Software Development: Third International Symposium of VDM Europe Kiel, FRG, April 17–21, 1990 Proceedings

Springer-Verlag Berlin Heidelberg

Ole-Johan Dahl (auth.), D. Bjørner, C. A. R. Hoare, H. Langmaack (eds.)

Година:

1990

Език:

english

Файл:

PDF, 6.90 MB

0 / 0

english, 1990

33

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Josep Díaz, Fernando Orejas (eds.)

Година:

1989

Език:

english

Файл:

DJVU, 3.99 MB

0 / 0

english, 1989

34

Language Hierarchies and Interfaces: International Summer School

Language Hierarchies and Interfaces: International Summer School

Springer-Verlag Berlin Heidelberg

E. W. Dijkstra (auth.), Prof. Dr. Dr. h.c. Dr. Friedrich L. Bauer, E. W. Dijkstra, A. Ershov, M. Griffiths, C. A. R. Hoare, W. A. Wulf, Prof. Dr. Klaus Samelson (eds.)

Година:

1976

Език:

english

Файл:

DJVU, 2.65 MB

0 / 0

english, 1976

35

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Springer-Verlag Berlin Heidelberg

Tony Hoare, Jay Misra (auth.), Bertrand Meyer, Jim Woodcock (eds.)

Година:

2008

Език:

english

Файл:

PDF, 3.09 MB

0 / 0

english, 2008

36

Correct System Design: Recent Insights and Advances

Correct System Design: Recent Insights and Advances

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)

Година:

1999

Език:

english

Файл:

PDF, 5.53 MB

0 / 0

english, 1999

37

Correct System Design: Recent Insights and Advances

Correct System Design: Recent Insights and Advances

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)

Година:

1999

Език:

english

Файл:

DJVU, 1.59 MB

0 / 0

english, 1999

38

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Josep Díaz, Fernando Orejas (eds.)

Година:

1989

Език:

english

Файл:

PDF, 9.54 MB

0 / 0

english, 1989